Geometry of canonical self-similar tilings

We give several different geometric characterizations of the situation in which the parallel set $F_\epsilon$ of a self-similar set $F$ can be described by the inner $\epsilon$-parallel set $T_{-\epsilon}$ of the associated canonical tiling $\mathcal T$, in the sense of \cite{SST}. For example, $F_\epsilon=T_{-\epsilon} \cup C_\epsilon$ if and only if the boundary of the convex hull $C$ of $F$ is a subset of $F$, or if the boundary of $E$, the unbounded portion of the complement of $F$, is the boundary of a convex set. In the characterized situation, the tiling allows one to obtain a tube formula for $F$, i.e., an expression for the volume of $F_\epsilon$ as a function of $\epsilon$. On the way, we clarify some geometric properties of canonical tilings. Motivated by the search for tube formulas, we give a generalization of the tiling construction which applies to all self-affine sets $F$ having empty interior and satisfying the open set condition. We also characterize the relation between the parallel sets of $F$ and these tilings.Comment: 20 pages, 6 figure

Tube formulas and complex dimensions of self-similar tilings

We use the self-similar tilings constructed by the second author in "Canonical self-affine tilings by iterated function systems" to define a generating function for the geometry of a self-similar set in Euclidean space. This tubular zeta function encodes scaling and curvature properties related to the complement of the fractal set, and the associated system of mappings. This allows one to obtain the complex dimensions of the self-similar tiling as the poles of the tubular zeta function and hence develop a tube formula for self-similar tilings in \$\mathbb{R}^d$. The resulting power series in $\epsilon$ is a fractal extension of Steiner's classical tube formula for convex bodies K \ci \bRd. Our sum has coefficients related to the curvatures of the tiling, and contains terms for each integer $i=0,1,...,d-1$, just as Steiner's does. However, our formula also contains terms for each complex dimension. This provides further justification for the term "complex dimension". It also extends several aspects of the theory of fractal strings to higher dimensions and sheds new light on the tube formula for fractals strings obtained in "Fractal Geometry and Complex Dimensions" by the first author and Machiel van Frankenhuijsen.Comment: 41 pages, 6 figures, incorporates referee comments and references to new result

Lattice-type self-similar sets with pluriphase generators fail to be Minkowski measurable

A long-standing conjecture of Lapidus claims that under certain conditions, self-similar fractal sets fail to be Minkowski measurable if and only if they are of lattice type. The theorem was established for fractal subsets of $\mathbb{R}$ by Falconer, Lapidus and v.~Frankenhuijsen, and the forward direction was shown for fractal subsets of $\mathbb{R}^d$, $d \geq 2$, by Gatzouras. Since then, much effort has been made to prove the converse. In this paper, we prove a partial converse by means of renewal theory. Our proof allows us to recover several previous results in this regard, but is much shorter and extends to a more general setting; several technical conditions appearing in previous versions of this result have now been removed.Comment: 20 pages, 6 figure